Examination of informativeness of diagnoses expressed with multiple-valued logic
نویسندگان
چکیده
منابع مشابه
Multiple-valued Logic
s of the Talks In the order in which the talks were given. Walter Carnielli – Non-deterministic Semantics 5 Matthias Baaz – Analytic Calculi for Many-valued Logics 5 Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule 6 Reiner Hähnle – Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings 7 Peter ...
متن کاملMultiple-Valued Logic Operations with Universal Literals
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The prop...
متن کاملMultiple-valued Logic Operations with Universal Literalst
We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The prop...
متن کاملMultiple-Valued Logic in FPGAs
This paper considers the applicability of multiple-valued logic (MVL) circuits in implementation of field-programmable gate arrays (FPGAs). It proposes an FPGA logic block architecture that features MVL current-mode CMOS circuitry. The logic block combines the lookup-table and multiplexer approaches found in commercial FPGAs, and provides additional versatility through its current-mode operatio...
متن کاملMultiple-valued Logic Abstracts of the Talks
s of the Talks In the order in which the talks were given. Walter Carnielli { Non-deterministic Semantics 5 Matthias Baaz { Analytic Calculi for Many-valued Logics 5 Hiroakira Ono { Many-valued Logics as Logics without the Contraction Rule 6 Reiner H ahnle { Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz { Determining the Truth Degree in Real Time Settings 7 Pete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Military University of Technology
سال: 2018
ISSN: 1234-5865
DOI: 10.5604/01.3001.0012.0992